Functor category - PDFSEARCH.IO - Document Search Engine

Functor category
Results: 352

#	Item
161	Theory and Applications of Categories, Vol. 26, No. 4, 2012, pp. 97–131. COMMUTATIVE MONADS AS A THEORY OF DISTRIBUTIONS ANDERS KOCK Abstract. It is shown how the theory of commutative monads provides an axiomatic fra Add to Reading List Source URL: www.emis.de Language: English - Date: 2012-02-24 14:35:00 Abstract algebra Monad Universal property Strong monad Functor Coproduct Function Cartesian closed category Morphism Category theory Adjoint functors Mathematics
162	Theory and Applications of Categories, Vol. 27, No. 7, 2012, pp. 97–173. EXACT COMPLETIONS AND SMALL SHEAVES MICHAEL SHULMAN Abstract. We prove a general theorem which includes most notions of “exact completion” a Add to Reading List Source URL: www.emis.de Language: English - Date: 2012-09-04 13:55:00 Cardinal number Sheaf Adjoint functors Topos Grothendieck universe Limit Universal property Natural transformation Functor Category theory Mathematics Abstract algebra
163	Theory and Applications of Categories, Vol. 28, No. 9, 2013, pp. 241–249. GEOMETRIC MORPHISMS OF REALIZABILITY TOPOSES PETER JOHNSTONE Abstract. We show that every geometric morphism between realizability toposes sati Add to Reading List Source URL: www.emis.de Language: English - Date: 2013-05-03 13:01:00 Sheaf theory Adjoint functors Topos Sheaf Reflective subcategory Grothendieck topology Functor Epimorphism Equivalence of categories Category theory Abstract algebra Algebra
164	Theory and Applications of Categories, Vol. 27, No. 10, 2012, pp. 210–221. DESCENT IN MONOIDAL CATEGORIES BACHUKI MESABLISHVILI Abstract. We consider a symmetric monoidal closed category V = (V , ⊗, I, [−, −]) t Add to Reading List Source URL: www.emis.de Language: English - Date: 2012-10-09 13:31:00 Monoidal categories Morphisms Adjoint functors Monoid Epimorphism Category of abelian groups Functor Abelian category Monad Category theory Abstract algebra Algebra
165	C AHIERS DE TOPOLOGIE ET GÉOMÉTRIE DIFFÉRENTIELLE CATÉGORIQUES G. M. K ELLY Structures defined by finite limits in the Add to Reading List Source URL: archive.numdam.org Language: English - Date: 2008-04-09 04:39:15 Adjoint functors Limit Diagram Equivalence of categories Universal property Representable functor Monad Complete category Natural transformation Category theory Abstract algebra Functors
166	Functors are Type Refinement Systems Paul-André Melliès Noam Zeilberger CNRS, Université Paris Diderot Add to Reading List Source URL: noamz.org Language: English - Date: 2014-10-31 10:07:15 Category theory Monoidal categories Type theory Limit Cartesian closed category Enriched category Functor Universal property Subtype polymorphism Mathematics Abstract algebra Algebra
167	An overlooked coherence construction for dependent type theory Peter LeFanu Lumsdaine (joint work with Michael Warren) Institute for Advanced Study Princeton, New Jersey Add to Reading List Source URL: ncatlab.org Language: English Homological algebra Proof theory Functor Category theory Type theory
168	NOTES ON QUASI-CATEGORIES ´ JOYAL ANDRE Contents 1. Introduction Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2007-01-22 11:32:36 Category theory Mathematics Algebraic topology Simplicial set Model category Kan fibration Functor Fundamental group Nerve Abstract algebra Topology Homotopy theory
169	ALGEBRA + HOMOTOPY = OPERAD BRUNO VALLETTE “If I could only understand the beautiful consequence following from the concise proposition d2 = 0.” Henri Cartan A BSTRACT. This survey provides an elementary introductio Add to Reading List Source URL: math.unice.fr Language: English - Date: 2011-12-06 09:29:11 Category theory Algebraic topology Associative algebra Operad theory Universal property Functor Quasi-isomorphism Homotopy category Lie algebra Abstract algebra Algebra Mathematics
170	Synchronous Machines: a Traced Category Marc Bagnol∗ & Adrien Guatto† Institut de Mathématiques de Luminy, Aix-Marseille Université Département d’Informatique de l’École normale supérieure and INRIA Rocquenc Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2012-11-27 10:42:32 Abstract algebra Braided monoidal category Coherence condition Monoid Functor Category Morphism Product Motive Category theory Algebra Monoidal categories

UPDATE